#include<stdio.h>
#define PRINT(FORMAT, VALUE) printf("the value of "#VALUE" is "FORMAT"\n", VALUE)

int main()
{
	int i = 9;
	PRINT("%d", i+10);
	return 0;
}